Analyzing Action Semantics
نویسنده
چکیده
Syntax • ArithExp ::= Ident | Numeral | ArithExp+ArithExp ArithExp−ArithExp | ArithExp ∗ArithExp • BoolExp ::= true | false | not BoolExp ArithExp = ArithExp | ArithExp > ArithExp • Stm ::= Ident := ArithExp | skip | Stm; Stm if BoolExp then Stm else Stm while BoolExp do Stm
منابع مشابه
Analyzing the problem of meaning in Shabastari’s Golshane Raz
Man has always been finding a complete model for semantics since the beginning. A model which can as a paradigm affects all branches of sciences. In the view of author, such a model can be found in Golshane Raz. Introducing the model from the work mentioned, the paper has tried to explain its sub structural foundations in three fields of ontology, epistemology and semantics. Some of the foundat...
متن کاملA New Interpretation of the Semantics of "Moral Obligation" from Allame Tabatabaie's Viewpoint
The most important part in analyzing moral concepts includes those used as predicate in moral sentences covering moral concepts of valuation and obligation. Moral concepts in the field of values include those like “good” and “bad” while obligatory concepts include “ought to” and “ought no” and “duty”. Many papers have been written about “moral obligation”; however, dissociating the area of sema...
متن کاملCompositional Verification of Reactive Systems Specified by Graph Transformation
A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual tool here is the notion of view, that is, an incomplete specification describing only a certain aspect of the overall system. A view anticipates the (potential) behavior of the complete system by its loose semantics. T...
متن کاملApplication of Frame Semantics to Teaching Seeing and Hearing Vocabulary to Iranian EFL Learners
A term in one language rarely has an absolute synonymous meaning in the same language; besides, it rarely has an equivalent meaning in an L2. English synonyms of seeing and hearing are particularly grammatically and semantically different. Frame semantics is a good tool for discovering differences between synonymous words in L2 and differences between supposed L1 and L2 equivalents. Vocabulary ...
متن کاملAnalyzing the Costs of Collective Actions for Political, Administrative, and Economic Agents to Facilitate Investment
The processes of collective action of individuals within the government organization and the formation and modification of these processes in the private sector have fundamental differences with collective action. A collective action, either in the form of an activity or in the form of a reform of an entity, both has transaction costs for agents within the process. So, a collective action withi...
متن کامل